Lindström; "Aspects of Incompleteness", Cor 1.1
#表現可能性定理